Bernhard Steffen：在 Z-Library 上搜索

募捐 9月15日2024 – 10月1日2024 关于筹款

您通往知识和文化的门户。每个人都可以使用。

募捐 9月15日2024 – 10月1日2024

Z-Library 是世界上最大的在线图书馆之一，它拥有超过17,000,000的书籍和84,837,000的文章。我们的目标是让每个人都能获得文学作品. 今天(9月15日2024)，我们又发起了一个募捐活动，以支持和发展这个项目.

同时无限下载 (捐款后31日内) 可适与所有在10月1日2024之前进行捐款的用户.

关于筹款更多

书籍 (81)
最受欢迎
- 分类方式×
- 最受欢迎
- 最佳吻合
- 最近添加
- 按名称 (A-Z)
- 按名称 (Z-A)
- 按年份
- 文件大小↓
- 文件大小↑
列表
- 列表
- 表格

1

Machine Learning, Optimization, and Data Science: 6th International Conference, LOD 2020 Siena, Italy, July 19–23, 2020 Revised Selected Papers, Part II

Machine Learning, Optimization, and Data Science: 6th International Conference, LOD 2020 Siena, Italy, July 19–23, 2020 Revised Selected Papers, Part II

Giuseppe Nicosia, Varun Ojha, Emanuele La Malfa, Giorgio Jansen, Vincenzo Sciacca, Panos Pardalos, Giovanni Giuffrida, Renato Umeton, Gerhard Goos, Juris Hartmanis, Elisa Bertino, Wen Gao, Bernhard Steffen, Gerhard Woeginger, Moti Yung, (eds.)

年:

2020

语言:

english

文件:

PDF, 71.08 MB

0 / 5.0

english, 2020

2

Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science)

Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science)

Tiziana Margaria (editor), Bernhard Steffen (editor)

年:

2021

语言:

english

文件:

PDF, 29.21 MB

0 / 5.0

english, 2021

3

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Springer International Publishing

Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen

年:

2019

语言:

english

文件:

PDF, 9.90 MB

0 / 0

english, 2019

4

Leveraging applications of formal methods, verification and validation

Leveraging applications of formal methods, verification and validation

Tiziana Margaria-Steffen, Bernhard Steffen

年:

2008

语言:

english

文件:

PDF, 12.67 MB

0 / 0

english, 2008

5

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I

Springer International Publishing;Springer

Tiziana Margaria, Bernhard Steffen

年:

2020

语言:

english

文件:

PDF, 27.77 MB

0 / 0

english, 2020

6

Computing and Software Science: State of the Art and Perspectives

Computing and Software Science: State of the Art and Perspectives

Springer International Publishing

Bernhard Steffen, Gerhard Woeginger

年:

2019

语言:

english

文件:

PDF, 25.29 MB

0 / 0

english, 2019

7

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Dirk Beyer, Alexander K. Petrenko (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

年:

2012

语言:

english

文件:

PDF, 8.96 MB

0 / 0

english, 2012

8

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II

Springer International Publishing;Springer

Tiziana Margaria, Bernhard Steffen

年:

2020

语言:

english

文件:

PDF, 32.16 MB

0 / 0

english, 2020

9

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

Springer International Publishing

Tiziana Margaria, Bernhard Steffen (eds.)

年:

2016

语言:

english

文件:

PDF, 64.11 MB

0 / 0

english, 2016

10

Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III

Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III

Springer International Publishing;Springer

Tiziana Margaria, Bernhard Steffen

年:

2020

语言:

english

文件:

PDF, 28.03 MB

0 / 0

english, 2020

11

Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Randal E. Bryant (auth.), Bernhard Steffen (eds.)

年:

1998

语言:

english

文件:

PDF, 3.04 MB

0 / 0

english, 1998

12

Formal Methods Teaching

Formal Methods Teaching

João F. Ferreira & Alexandra Mendes & Claudio Menghi & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Gerhard Woeginger & Moti Yung

年:

2021

语言:

english

文件:

PDF, 7.67 MB

0 / 0

english, 2021

13

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Tiziana Margaria, Bernhard Steffen (eds.)

年:

2014

语言:

english

文件:

PDF, 17.08 MB

0 / 0

english, 2014

14

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

Tiziana Margaria, Bernhard Steffen

年:

2010

语言:

english

文件:

PDF, 13.99 MB

0 / 0

english, 2010

15

Computing and software science, state of the art and perspectives

Computing and software science, state of the art and perspectives

Springer International Publishing : Imprint: Springer

Steffen, Bernhard., Woeginger, Gerhard

年:

2019

语言:

english

文件:

PDF, 6.53 MB

0 / 0

english, 2019

16

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Gerard J. Holzmann (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

年:

1996

语言:

english

文件:

DJVU, 3.60 MB

0 / 0

english, 1996

17

Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers

Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Farhad Arbab, Joost N. Kok (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

年:

2006

语言:

english

文件:

PDF, 2.40 MB

0 / 0

english, 2006

18

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Gerard J. Holzmann (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

年:

1996

语言:

english

文件:

PDF, 6.37 MB

0 / 0

english, 1996

19

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Tiziana Margaria, Bernhard Steffen

年:

2010

语言:

english

文件:

PDF, 9.82 MB

0 / 0

english, 2010

20

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Helmut Veith (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

年:

2010

语言:

english

文件:

PDF, 13.02 MB

0 / 0

english, 2010

21

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Dirk Beyer, Alexander K. Petrenko (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

年:

2012

语言:

english

文件:

PDF, 11.26 MB

0 / 0

english, 2012

22

Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers

Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Farhad Arbab, Joost N. Kok (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

年:

2006

语言:

english

文件:

PDF, 2.13 MB

0 / 0

english, 2006

23

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

Springer International Publishing

Tiziana Margaria, Bernhard Steffen

语言:

english

文件:

EPUB, 10.33 MB

0 / 0

english

24

Formal Methods Teaching

Formal Methods Teaching

João F. Ferreira & Alexandra Mendes & Claudio Menghi & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Gerhard Woeginger & Moti Yung

年:

2021

语言:

english

文件:

EPUB, 601 KB

0 / 0

english, 2021

25

Formal Methods Teaching

Formal Methods Teaching

João F. Ferreira, Alexandra Mendes, Claudio Menghi, Gerhard Goos, Juris Hartmanis, Elisa Bertino, Wen Gao, Bernhard Steffen, Gerhard Woeginger, Moti Yung

年:

2021

语言:

english

文件:

AZW3 , 5.69 MB

0 / 0

english, 2021

26

Services and Visualization Towards User-Friendly Design: ACoS'98, VISUAL'98, AIN'97 Selected Papers

Services and Visualization Towards User-Friendly Design: ACoS'98, VISUAL'98, AIN'97 Selected Papers

Springer-Verlag Berlin Heidelberg

Alain Lardenois (auth.), Tiziana Margaria, Bernhard Steffen, Roland Rückert, Joachim Posegga (eds.)

年:

1998

语言:

english

文件:

PDF, 7.31 MB

0 / 0

english, 1998

27

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Helmut Veith (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

年:

2010

语言:

english

文件:

PDF, 13.00 MB

0 / 0

english, 2010

28

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Alessandro Moschitti (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

年:

2010

语言:

english

文件:

PDF, 8.98 MB

0 / 0

english, 2010

29

Services and Visualization Towards User-Friendly Design: ACoS'98, VISUAL'98, AIN'97 Selected Papers

Services and Visualization Towards User-Friendly Design: ACoS'98, VISUAL'98, AIN'97 Selected Papers

Springer-Verlag Berlin Heidelberg

Alain Lardenois (auth.), Tiziana Margaria, Bernhard Steffen, Roland Rückert, Joachim Posegga (eds.)

年:

1998

语言:

english

文件:

DJVU, 6.59 MB

0 / 0

english, 1998

30

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Alessandro Moschitti (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

年:

2010

语言:

english

文件:

PDF, 9.02 MB

0 / 0

english, 2010

31

Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings

Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Manfred Broy (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

年:

2009

语言:

english

文件:

PDF, 35.10 MB

0 / 0

english, 2009

32

Mathematics of Program Construction: 6th International Conference, MPC 2002 Dagstuhl Castle, Germany, July 8–10, 2002 Proceedings

Mathematics of Program Construction: 6th International Conference, MPC 2002 Dagstuhl Castle, Germany, July 8–10, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Robert Giegerich, Peter Steffen (auth.), Eerke A. Boiten, Bernhard Möller (eds.)

年:

2002

语言:

english

文件:

PDF, 2.81 MB

0 / 0

english, 2002

33

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Alessandro Moschitti (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

年:

2010

语言:

english

文件:

PDF, 9.02 MB

0 / 0

english, 2010

34

Bildverarbeitung fur die Medizin 2009: Algorithmen — Systeme — Anwendungen Proceedings des Workshops vom 22. bis 25. Marz 2009 in Heidelberg

Bildverarbeitung fur die Medizin 2009: Algorithmen — Systeme — Anwendungen Proceedings des Workshops vom 22. bis 25. Marz 2009 in Heidelberg

Springer-Verlag Berlin Heidelberg

Sylvia Glaßer, Steffen Oeltze, Anja Hennemuth, Skadi Wilhelmsen, Bernhard Preim (auth.), Hans-Peter Meinzer, Thomas Martin Deserno, Heinz Handels, Thomas Tolxdorff (eds.)

年:

2009

语言:

german

文件:

PDF, 17.33 MB

0 / 0

german, 2009

35

Formal Methods Teaching

Formal Methods Teaching

João F. Ferreira & Alexandra Mendes & Claudio Menghi & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Gerhard Woeginger & Moti Yung

文件:

RTF , 3.98 MB

0 / 0

36

Formal Methods Teaching

Formal Methods Teaching

João F. Ferreira & Alexandra Mendes & Claudio Menghi & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Gerhard Woeginger & Moti Yung

年:

2021

语言:

english

文件:

LIT , 5.52 MB

0 / 0

english, 2021

37

Formal Methods Teaching

Formal Methods Teaching

João F. Ferreira & Alexandra Mendes & Claudio Menghi & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Gerhard Woeginger & Moti Yung

年:

2021

语言:

english

文件:

MOBI , 2.09 MB

0 / 0

english, 2021

38

Bildverarbeitung für die Medizin 2009: Algorithmen — Systeme — Anwendungen Proceedings des Workshops vom 22. bis 25. März 2009 in Heidelberg

Bildverarbeitung für die Medizin 2009: Algorithmen — Systeme — Anwendungen Proceedings des Workshops vom 22. bis 25. März 2009 in Heidelberg

Springer-Verlag Berlin Heidelberg

Sylvia Glaßer, Steffen Oeltze, Anja Hennemuth, Skadi Wilhelmsen, Bernhard Preim (auth.), Hans-Peter Meinzer, Thomas Martin Deserno, Heinz Handels, Thomas Tolxdorff (eds.)

年:

2009

语言:

german-english

文件:

PDF, 9.31 MB

0 / 5.0

german-english, 2009

39

Formal Methods Teaching

Formal Methods Teaching

João F. Ferreira & Alexandra Mendes & Claudio Menghi & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Gerhard Woeginger & Moti Yung

年:

2021

语言:

english

文件:

FB2 , 7.71 MB

0 / 0

english, 2021

40

Computational Science and Its Applications – ICCSA 2022 Part I

Computational Science and Its Applications – ICCSA 2022 Part I

Osvaldo Gervasi, Beniamino Murgante, Eligius M. T. Hendrix, David Taniar, Bernady O. Apduhan, Gerhard Goos, Juris Hartmanis, Elisa Bertino, Wen Gao, Bernhard Steffen, Moti Yung

年:

2022

语言:

english

文件:

PDF, 71.48 MB

0 / 4.0

english, 2022

41

Computational Science and Its Applications – ICCSA 2022

Computational Science and Its Applications – ICCSA 2022

Springer International Publishing

Osvaldo Gervasi & Beniamino Murgante & Eligius M. T. Hendrix & David Taniar & Bernady O. Apduhan & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Moti Yung

年:

2022

语言:

english

文件:

EPUB, 122.08 MB

0 / 4.5

english, 2022

42

Computational Science and Its Applications – ICCSA 2022

Computational Science and Its Applications – ICCSA 2022

Springer International Publishing

Osvaldo Gervasi & Beniamino Murgante & Eligius M. T. Hendrix & David Taniar & Bernady O. Apduhan & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Moti Yung

年:

2022

语言:

english

文件:

EPUB, 74.87 MB

0 / 5.0

english, 2022

43

WALCOM: Algorithms and Computation

WALCOM: Algorithms and Computation

Chun-Cheng Lin & Bertrand M. T. Lin & Giuseppe Liotta & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Moti Yung

年:

2023

语言:

english

文件:

PDF, 9.73 MB

0 / 5.0

english, 2023

44

Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries

Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries

Spyridon Bakas & Alessandro Crimi & Ujjwal Baid & Sylwia Malec & Monika Pytlarz & Bhakti Baheti & Maximilian Zenk & Reuben Dorent & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Moti Yung

年:

2023

文件:

PDF, 46.35 MB

0 / 0

2023

45

Formal Techniques for Distributed Objects, Components, and Systems

Formal Techniques for Distributed Objects, Components, and Systems

Marieke Huisman & António Ravara & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Moti Yung

年:

2023

语言:

english

文件:

PDF, 6.81 MB

0 / 5.0

english, 2023

46

Computer Vision – ECCV 2022 Workshops

Computer Vision – ECCV 2022 Workshops

Leonid Karlinsky & Tomer Michaeli & Ko Nishino & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Moti Yung

年:

2023

文件:

PDF, 70.86 MB

0 / 0

2023

47

Advances in Cryptology – CRYPTO 2022

Advances in Cryptology – CRYPTO 2022

Yevgeniy Dodis & Thomas Shrimpton & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Moti Yung

年:

2022

文件:

PDF, 10.06 MB

0 / 0

2022

48

Graphical Models for Security

Graphical Models for Security

Harley Eades III & Olga Gadyatskaya & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Gerhard Woeginger & Moti Yung

年:

2020

语言:

english

文件:

PDF, 13.15 MB

0 / 5.0

english, 2020

49

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Dirk Beyer & Marieke Huisman & Fabrice Kordon & Bernhard Steffen

年:

2019

语言:

english

文件:

PDF, 9.84 MB

0 / 0

english, 2019

50

Baukonstruktion im Klimawandel

Baukonstruktion im Klimawandel

Springer Vieweg

Bernhard Weller, Marc-Steffen Fahrion, Sebastian Horn, Thomas Naumann, Johannes Nikolowski, (auth.)

年:

2016

语言:

german

文件:

PDF, 84.97 MB

0 / 0

german, 2016